Development of Analysis Tools for Certification of Flight Control Laws Fa9550-05-1-0266
نویسندگان
چکیده
In this report, we discuss our progress on nonlinear systems analysis. In the past year, we have refined the use of conventional simulation along with semidefinite and polynomial optimization to discover Lyapunov functions which provably certify region-of-attraction (ROA) estimation. Other system properties, such as induced-gain, can also be estimated, with guaranteed bounds, in this manner. For systems with model uncertainty, we have derived and tested a vertex method for ROA estimation as well. This is more conservative than the uncertain methods we presented earlier, but the computation is more straightforward, and in many cases gives superior answers (due to computational simplifications, despite the more conservative formulation).
منابع مشابه
Adaptive Flight Control System: Flight Evaluation and Technology Transition
Certification of adaptive control technologies for both manned and unmanned aircraft represent a major challenge for current Verification and Validation techniques. A (missing) key step towards flight certification of adaptive flight control systems is the definition and development of analysis tools and methods to support Verification and Validation for nonlinear systems, similar to the proced...
متن کاملClosing the Certification Gaps in Adaptive Flight Control Software
Over the last five decades, extensive research has been performed to design and develop adaptive control systems for aerospace systems and other applications where the capability to change controller behavior at different flight conditions is highly desirable. Although adaptive flight control has been partially implemented through the use of gain-scheduled control, truly adaptive control system...
متن کاملDevelopment of a Multiplex RT-PCR Assay for Detection of the Causal Agents of Citrus Tristeza and Cachexia Diseases with Coamplification of Plant mRNA as an Internal Control
Background and Aims: Plant certification programs need reliable, fast, cheap and sensitive methods for detection of systemic pathogens with special interest in virus and viroid detection. Reverse transcriptase-polymerase chain reaction (RT-PCR) has been documented as an alternative assay for certification of plant propagating materials. The main object of the present study was the optimization ...
متن کاملA Historical Overview of Research in Reconfigurable Flight Control
This paper presents a historical overview of research in reconfigurable flight control with a focus on work done in the United States. For purposes of this paper, the term reconfigurable flight control is used to refer to software algorithms designed specifically to compensate for failures or damage of flight control effectors or lifting surfaces by using the remaining effectors to generate com...
متن کاملDevelopment of Advanced Verification and Validation Procedures and Tools for the Certification of Learning Systems in Aerospace Applications
Adaptive control technologies that incorporate learning algorithms have been proposed to enable automatic flight control and vehicle recovery, autonomous flight, and to maintain vehicle performance in the face of unknown, changing, or poorly defined operating environments. In order for adaptive control systems to be used in safety-critical aerospace applications, they must be proven to be highl...
متن کامل